Scala for TAPL’ers Part 1 Ilya Sergey Scala Intro Objects & Functions

Source URL: ilyasergey.net

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Concurrent programming languages
• Scripting languages
• Scala
• Programming languages
• Xtend
• Java
• Kotlin
• Method chaining

DM 509 Programming Languages Fall 2009 Project (Part 2) Department of Mathematics and Computer Science University of Southern Denmark December 7, 2009

Source URL: www.imada.sdu.dk

JavaScript on Java EE Markus Eisele, @myfear Developer Advocate September, 2014

Source URL: 2014.jokerconf.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• Concurrent programming languages
• Type theory
• Object-oriented programming languages
• Type systems
• Strong and weak typing
• JavaScript
• Java
• Go

Separability by Short Subsequences and Subwords Piotr Hofman and Wim Martens Department of Computer Science, University of Bayreuth, Germany Abstract The separability problem for regular languages asks, given two regular

Source URL: drops.dagstuhl.de

Ilya Sergey C URRICULUM V ITÆ February 2016

Source URL: ilyasergey.net

• Computing
• Software engineering
• Computer programming
• Functional languages
• Scripting languages
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Object-oriented programming languages
• Programming Language Design and Implementation
• SIGPLAN
• Actor model
• European Symposium on Programming

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language

Web Usage Mining - Languages and Algorithms John R. Punin, Mukkai S. Krishnamoorthy, Mohammed J. Zaki Computer Science Department Rensselaer Polytechnic Institute, Troy NYEmail: {puninj,moorthy,zaki}@cs.rpi.edu Ab

Source URL: cgi5.cs.rpi.edu

• Computing
• Data
• Markup languages
• Computer file formats
• HTML
• Semantic Web
• XGMML
• LOGML
• Resource Description Framework
• XML namespace
• XLink
• Node

Code Injection Attacks on HTML5-based Mobile Apps Xing Jin, Tongbo Luo, Derek G. Tsui, Wenliang Du Dept. of Electrical Engineering & Computer Science, Syracuse University, Syracuse, NY using different languages. If othe

Source URL: www.mostconf.org

Safe Parallel Programming in an Interpreted Language Chen Ding, Brian Gernhardt, Pengcheng Li Matthew Hertz Department of Computer Science

Source URL: polaris.cs.uiuc.edu

• Parallel computing
• Concurrent programming languages
• Functional languages
• MultiLisp
• Optimizing compiler
• Speculative
• Automatic parallelization

t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht

Source URL: wwwhome.cs.utwente.nl

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Formal languages
• Regular expressions
• Pattern matching
• List
• Cons
• TRE
• Algebraic data type